The Fibonacci Sequence Mod m

We know that ( ) mod n F p forms a periodic sequence (vide Theorem 4). Let ( ) h p denote the length of the sequence. Let p be a prime such that: { } ( ) 2,3 mod 5 p ≡ a sufficient and necessary condition to ensure that ( ) 2 2 h p p + . We shall denote this group 1 G F . Let { } 1, 2 , , k D d d d = be the non-empty set of k divisors of 2 2 p + . Then for ( ) [ ] 1 min G i F h p d = such that ( ) 1 1mod i d F p + ≡ and ( )